1. Reflections on the Work of C.A.R. Hoare
پدیدآورنده : / A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
2. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
پدیدآورنده : edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L4
v
.
197
3. Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984
پدیدآورنده : edited by S.D. Brookes, A.W. Roscoe, and G. Winskel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
197
4. The modelling and analysis of security protocols :
پدیدآورنده : P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer network protocols,Computer networks-- Security measures,Computer security-- Mathematical models,Computer software-- Verification,Computers-- Access control,Cryptography
رده :
TK5105
.
59
.
R93
2001
5. Topology and category theory in computer science
پدیدآورنده : edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
رده :
QA
76
.
9
.
M35T66
1991
6. Understanding Concurrent Systems
پدیدآورنده : / A.W. Roscoe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
7. Understanding concurrent systems
پدیدآورنده : A.W. Roscoe
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
8. Understanding concurrent systems
پدیدآورنده : / A.W. Roscoe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Parallel processing (Electronic computers)
رده :
QA76
.
58
.
R67
2010
9. Understanding concurrent systems /
پدیدآورنده : A.W. Roscoe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers)
رده :
QA76
.
58
.
R67
2010eb
